Modeling and Model Checking Web Services
نویسندگان
چکیده
منابع مشابه
Modeling and Model Checking Web Services
We give an overview on web services and the web service technology stack. We then show how to build Petri net models of web services formulated in the specification language BPEL4WS. We define an abstract correctness criterion for these models and study the automated verification according to this criterion. Finally, we relate correctness of web service models to the model checking problem for ...
متن کاملModel Checking Interactions of Composite Web Services
There are two main challenges in the verification of composite web services: 1) Asynchronous messaging makes most interesting problems undecidable, and 2) rich data representation (XML) and data manipulation (e.g. XPath query) forbids direct application of model checking tools. In this paper, we present a top-down specification and verification approach to tackle both of these problems. In our ...
متن کاملModel Checking with Abstraction for Web Services
Web services are highly distributed programs and, thus, are prone to concurrency-related errors. Model checking is a powerful technique to identify flaws in concurrent systems. However, the existing model checkers have only very limited support for the programming languages and communication mechanisms used by typical implementations of web services. This chapter presents a formalization of com...
متن کاملModel Checking Multi-Agent Web Services
In this paper we address the verification of communication between agents participating in multi-agent web service systems. Our approach is founded on the application of modelchecking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We outline a web service architecture which supports the construction of multi-agent systems using web servic...
متن کاملModel Checking Single Web Services using Markov Chains and MDPs
Research Online is the open access institutional repository for the University of Wollongong. For further information contact the UOW
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.11.011